atom2{-}deq $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$<\lambda$$a$,$b$. eq\_atom\{2:n\}($a$; $b$), TERMOF\{atom2{-}deq{-}aux:ObjectId, 1:l\}$>$